- netlist representation
- представление (моделируемой ЛС) таблицей соединений
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
Layout Versus Schematic — The Layout Versus Schematic (LVS) is the class of electronic design automation (EDA) verification software that determines whether a particular integrated circuit layout corresponds to the original schematic or circuit diagram of the design.… … Wikipedia
Logic optimization — a part of logic synthesis, is the process of finding an equivalent representation of the specified logic circuit under one or more specified constraints. Generally the circuit is constrained to minimum chip area meeting a prespecified delay.… … Wikipedia
Standard cell — For the battery used as a voltage reference, see Weston cell. In semiconductor design, standard cell methodology is a method of designing Application Specific Integrated Circuits (ASICs) with mostly digital logic features. Standard cell… … Wikipedia
EDIF — stands for Electronic Design Interchange Format, and has been predominantly used as a vendor neutral format in which to store Electronic netlists and schematics. It was one of the first attempts to establish a neutral data exchange format for the … Wikipedia
List of file formats — This is an incomplete list, which may never be able to satisfy particular standards for completeness. You can help by expanding it with reliably sourced entries. See also: List of file formats (alphabetical) This is a list of file formats… … Wikipedia
Semiconductor intellectual property core — In electronic design a semiconductor intellectual property core, IP block, IP core, or logic core is a reusable unit of logic, cell, or chip layout design and is also the intellectual property of one party. IP cores may be licensed to another… … Wikipedia
Methode formelle appliquee a l'electronique — Méthode formelle appliquée à l électronique Attention : En cours Cette page a été créé pour pouvoir amener des notions propres à l application des méthodes formelles au cas de la conception électronique. Plusieurs notions développés ici… … Wikipédia en Français
Méthode Formelle Appliquée À L'électronique — Attention : En cours Cette page a été créé pour pouvoir amener des notions propres à l application des méthodes formelles au cas de la conception électronique. Plusieurs notions développés ici pourront d ailleurs être intégrées dans la page… … Wikipédia en Français
Méthode formelle (informatique)/Application: électronique — Méthode formelle appliquée à l électronique Attention : En cours Cette page a été créé pour pouvoir amener des notions propres à l application des méthodes formelles au cas de la conception électronique. Plusieurs notions développés ici… … Wikipédia en Français
Méthode formelle appliquée à l'électronique — Les méthodes formelles sont des techniques permettant d assurer la bonne compréhension des fonctions attendues d un système. Ces fonctions pouvant être temporels, déterministes,... Elles permettent en outre de faciliter l interconnexion de… … Wikipédia en Français
Circuit extraction — The electric circuit extraction or simply circuit extraction, also netlist extraction, is the translation of an integrated circuit layout back into the electrical circuit (netlist) it is intended to represent. This extracted circuit is needed for … Wikipedia